Substitution formulas for Laplace transformations

Model-based transformations for quantified boolean formulas

Numerical accuracy of real inversion formulas for the Laplace transform

In this paper we investigate and compare a number of real inversion formulas for the Laplace transform. The focus is on the accuracy and applicability of the formulas for numerical inversion. In this contribution, we study the performance of the formulas for measures concentrated on a positive half-line to continue with measures on an arbitrary half-line.

BK-factorization and Darboux-Laplace transformations

BK-factorization of bivariate LPDOs is outlined. As an example, class of factorized hyperbolic operators is constructed as well as general solution in quadratures for operators of this class. Coupling of BK-factorization with Darboux-Laplace transformations is described which provided additional factorization conditions (demand of generalized commutativity) in the case when BK-factorization doe...

Substitution Formulas for the Kurzweil and Henstock Vector Integrals

Results on integration by parts and integration by substitution for the variational integral of Henstock are well-known. When real-valued functions are considered, such results also hold for the Generalized Riemann Integral defined by Kurzweil since, in this case, the integrals of Kurzweil and Henstock coincide. However, in a Banach-space valued context, the Kurzweil integral properly contains ...

Intertwining Laplace Transformations of Linear Partial Differential Equations

We propose a generalization of Laplace transformations to the case of linear partial differential operators (LPDOs) of arbitrary order in R . Practically all previously proposed differential transformations of LPDOs are particular cases of this transformation (intertwining Laplace transformation, ILT ). We give a complete algorithm of construction of ILT and describe the classes of operators in...